Ah, summer. I don’t know why I started humming “Summer Lovin'” (from Grease) all of a sudden :-) Days of fun and games… …and whining. “I’m bored,” ge…