What casino is that in the opening credits?...Do they use an actual interior of a real casino or is it all sets?...Is it filmed in Vegas? Thanks.....Jim