I ended up placing a pit order, stop market at 1145.5 and I was filled at 1147 (1.5 cents from the high of the day!). Not ideal, but a learning experience. I'm using Tradestation's pit trading through RJ O'Brien, so far it's been OK, although I can't really judge the fills since I don't have...