Sucks that they were stolen and I do hope he gets them back.
I gotta wonder why somone would leave instruments worth THAT MUCH in the trunk of a car in FLORIDA weather? That in and of itself isn't too smart....I'm a music geek and freak about leaving my chepo $200 guitar in my car up here in Wisconsin! I don't care who you are...rockstar, highschool band nerd, whatever, doing that is stupid.
Again, it does suck someone stole em...and I hope he gets em back.