Tommy, that's correct. It was a nice little casino on the main drag. Now about describing Desert Hot Springs as a wealthy community...