Does anyone know if the Top Gun slots are still around anywhere? My friend used to love this game so much but it seems like years since we have seen it.

She has a trip to Vegas planned soon. I'm hoping she may be able to play it again. Any advice on where she might find it would be so helpful!