Does the $ mentioned all in or were there extra charges for a "VIP" area? I've only been to Austin a couple times, and those visits were several months ago (XTC and P10) but it seemed the going rate was much more than $100