Well, Larry is certainly not alone in this... It's certainly not all guys of that age group, but they always seem to be in that 55+ age group who are like this with pretty much any female they encounter, student or otherwise.
On game days, between the guys on the TV crew, the old guys at the scorers table, plus fans, it's basically running a gauntlet of weird, unprompted comments that I'm not really sure how to respond to, but I'm pretty sure are meant to be compliments so I don't want to be a bitch about it.
(And the occasional sneak-attack hug greeting from behind or the "back rub turned 'warming up your arms' oh oops the 80 year old man who smells like literal shit and imminent death just touched my boobs" which is slightly more bothersome.)
Related: my "misogyny" comment from a while ago was referencing this. I think it was interpreted as "poor me, I'm a girl so I'm getting picked on and held back by the boys at work." Not that it matters one way or another to you guys, but I know full well that I'm not.