Does Tim Lehey play for Miami? I had heard that he had academic problems but they have now been resolved.