Oh, can you do me a favour? Are you running a stock 16MB player without any memory upgrades?

If so, it would be really useful if you could look for the following line in a serial boot log;

"Memory: 15016k/16M available (980k code, 20k reserved, 364k data, 4k init)"

and report what the actual numbers are. Ta.