7-Eleven — local spot in Allen, Texas · Hottub