I'd take the 5231 off your list. Its own less-expensive sibling, the 2231, stole its thunder by costing 1/4 less for the same video performance, and you now have the improved successor to the 2231 in your list above, the -S2 release. I think at the time, the 5231 was a leading performer for...