Added getSize() for Record

The other team needed it