Hi ssharnick:
Yes, that's the one. Here's an older thread on TV Fool that discusses the antenna in detail. It's a keeper and has preformed very well for many people across the nation. I hope you'll find it helpful. Beware, RCA released a 7511 model later that was inferior to the 751 (see thread discussion).
http://forum.tvfool.com/showthread.php?t=16264
All the best.....