the Yamaha you mentioned is getting really good reviews and probably sounds better than the units mentioned so far since it's newer and modeling is improving almost daily. .... but I wouldn't mic it. First the speakers are dinky ..... just enough so you can play through it without hooking it up to anything. But the unit is meant for recording and has direct outs meant to go straight into a mixer or a puter and comes with software to tweak the sound in the puter.
So no, I wouldn't mic it but yes, that would be a nice unit to have and record with as it's meant for that specific use.