MySQL Recordset Recordcount

Recordcount appears to be working fine fro MySQL - i know it never used to. I cannot see this documented on the wiki however as being supported so should I be using it?

http://documentation.xojo.com/index.php/RecordSet