Former Bucks head coach Mike Budenholzer has sold his Okauchee Lake home

The home, located at W333N5495 Island View Lane in Nashotah, sold for $7 million on Aug. 18, according to state records.