I wonder whether there's a market for "key weights" that fit a key exactly and are heavy enough to keep it pressed. Depending on the occasion I have used heavy implements (not exactly rocks), a variety of wedge-like tools like scissors and other things to keep a key pressed, but a dedicated tool such as a properly-shaped paperweight might have been much nicer ;)