Good stuff and welcome from a fellow 2013 R3T owner! $7500??? wow! I gave 18K for mine when I bought it new!
Going on 4 years and 40,000 miles on mine and I still chuckle like a kid that has gotten away with something every time I throttle her up!
Find the sticky thread "R3T derestricting" Download tuneecu(free) get a cable (24 bux) and load the tune from the thread. You got no idea what is hiding under the surface if yours has a stock tune in it.
If I remember correctly you get about 30HP for less than a buck a pony.
The next 30 get pricy though.