I was going to ask last week before the race, but I completely forgot. So, considering how many people on here are from texas, did any of you go to watch the Formula One?