Terasic DE2-115 + HDMI-TX-HSMC for sell

I have a barely used Terasic Cyclone 4 DE2-115 + Terasic HDMI Transmitter (HDMI-TX-HSMC) that I never got around to using. I am looking to sell them for $400.

If interested, send me an email: jon (at) mrfpga (dot) com. I am in the Boston area.