@Shawna46 I'll add my voice to encouraging you to leave a brief, honest review. It sisn't weird that he had 4 other 5* ratings when you yourself are questioning leaving a negative review- I imagine those other hosts also felt reluctant to leave a bad review, so you got stuck with an undesireable guest.
I think you should indeed let it go as far as being fussed that he left you a big cleanup, since the 3 days you got paid for covered that extra cleaning. But please don't let it go as far as the review. (the guest can't see the star ratings you leave for them, so I'd leave 1* for cleanliness, myself).
There are things you can say in a review that aren't really negative, but get the point across, both to other hosts and to guests. Like "XX was a personable and polite guest, and communication pre-arrival was fine, however a higher maturity level is needed as far leaving a mess behind himself and paying attention to his surroundings in order to be a welcome guest. Door to unit was left unlocked and open on guest's departure, cigarette butts were thrown on ground, despite there being a can provided for ashes and butts." You are giving the guest an opportunity to consider his behavior and behave in a more mature manner next time, which, believe it or not, some guests do take to heart.