Has selling shovels to the miners ever been a bad investment strategy?