11/26/23: My niece had a school project she had to do at the Aria casino, so I tagged along and brought my 12mm F2.8 fisheye lens with me. These are the results.
The camera: Sony a7 IV (Amazon affiliate link)
The lens: AstrHori 12mm F2.8 Full Frame Manual Fisheye Lens (Amazon affiliate link)