Have a question for anyone in the Austin community. I thought I heard that there is a Trader Joe's up there, can anyone comfirm for me. Thanks