Could Buddy Teevens have been our Ted Lasso?