I use Rocket Dock on every PC. On small laptops keeping it visible is not an option and auto hide and revealing with mouse pointer is a pain.
Hot Keys for show/hide are Ctl + Alt +R. Turn off autohide.
The hot keys can be changed in the .ini file.
It's an old game, but I like it. Most modern laptops would not have trouble running it, except for the resolution. On my Dell XPS-13 wit...