darn...
after some more research, found that only one of the 3 players i
short-listed above fulfils all criteria; that's the Samsung YP-U3.
It has a hole for lanyard actually, according to ppl who bought it
overseas; but the hole is at the detachable end...
the iRiver E100 doesn't have the speed adjustment. the scan speed
is for the rate at which the player fast-forwards (good for very
very long tracks, though).
according to samsung sg site , Adjustable Play Speed
is No, although FireHobbit's post here as got Play Speed
Control wor...
really dunno why these so-called branded mp3 makers can't even
implement this simple speed adjustment feature... not just my
current "brandless, made-in-china ipod clone" has this, even my
antique alkaline-battery-run Easytech 512 mp3 player got this
feature last time.