Does the NFL have some sort of regulation as to what coin the official is supposed to toss? Does it specify a quarter, nickel, etc., or possibly even some coin comissioned by the NFL just for this purpose? Or is he just supposed to toss whatever is in his pocket (assuming he has something in his pocket; we’ve all seen that funny SouthWest Airlines commercial)?