Although many of the older "keyboards" omitted a decent MIDI output, almost any of the ones commonly available now are equipped, and are pretty easy to plug in to do the same thing the "PC Keyboards" do. With the "cheapo" ones, you usually get an internal audio system so that you can probably figure out some things to do with them that don't involve hooking to your PC.

You can probably get a "Casio" or similar at Walmart that will do everything the more specialized one does for closer to $100 (US) than the $200 (US) for the typical "PC board." I'm not sure what the US/AUS conversion rates are, but a couple of PC Keyboards that showed up a year or two ago here were in the $200 (US) range. At least two have been "discontinued by manufacturer" and a couple of others pretty much disappeared from my local outlets.

The PC keyboard may fit a little more conveniently on/under/near your PC keyboard, but if you get a "music box" style keyboard that you've confirmed does have MIDI output you'll probably find it more versatile over the long run - and maybe a little cheaper.

I do have a 48 key "MIDI" keyboard, no audio, PC or MIDI box required, $100 (US) about 3 years ago; and it has worked well for music input to my PC, but can't be used for anything without a separate MIDI sound system (or PC soundcard). I have it because my old clunker CASIO "rock and roller" dates back to before MIDI outputs were a common thing.

I haven't looked in detail, but a couple of the Yamaha/Casio etc $300+ (US) keyboards I've seen recently appear to be equipped to record MIDI to a floppy drive in the keyboard so that you can just plug the floppy disk into your PC to transfer the MIDI file. This should be great if you're only interested in making the "playbackable" MIDI, but most people find that "playing the keyboard" doesn't result in usable notation - if your need is just to get notes on paper.

Summary: The device described may be just what you need, but you probably should look at what else is easily available to do the same thing. Learn what a MIDI jack looks like, and look at some of the cheap stuff at the local outlets before you decide that this is "your best solution."

John