Coding camp recommendations in the Seattle area?

Anyone know of good summer coding camps for middle schoolers (specifically interested in game dev)? My 12yo has been into Scratch and YouTube tutorials and wants to actually learn 'real' coding. We tried Code.org but he blew through it pretty fast. Looking for something in-person if possible, not just another online course. Budget isn't super tight but also don't want to spend $2k. Help?