This receiver worked easily over the distance I needed. It works with the rcswitch library
433MHz Superheterodyne 3400 RF Transmitter and Receiver link kit for Arduino
http://www.ebay.com/itm/251429898454?ssPageName=STRK:MEWNX:IT&_trksid=p3984.m1439.l2649
Thank you all for your suggestions.