I'm willing to bet they have some old dev kits not being used by classes anymore that you could check out. Sure, they won't be Arduino, but you're not going to

I'm willing to bet they have some old dev kits not being used by classes anymore that you could check out. Sure, they won't be Arduino, but you're not going to learn anything making Arduino sketches anyway. Look for a Freescale 6812 or TI DSP kit.