FWIW, I believe that Tyler Holton's 87 is the first time in team history that number has been utilized.
EDIT: https://www.baseball-almanac.com/teams/baseball_uniform_numbers.php?t=DET
Apparently only second instance of a number above 80 (along with Jose Mesa in 2007, who wore 94 and played like a number 94 lol)