Bucks baru saja menunjuk Budenholzer sebagai pelatih kepala.