I thought the House had 435 members? (not 475).
Of course. Not sure how I garbled the numbers.
It was 417-3 with 12 no votes.