This again was an early bit of programming, it's what we run on our 9400 and have for years.
It's relatively easy to setup, place your icons on the Page. They need to be given a ProntoScript name iconX where X is 1-12 (eg icon4)
Download ProntoSPIN for 9400/9600/9800(zip) (615k)
Then there are really just 5 parameters you essentially need to worry about. Which is in the "Advanced" TAB on the page.
var xOffset = 320 // The X co-ord it will rotate a round
var yOffset = 220 // The Y co-ord it will rotate a round
var xLength = 250 // How far it will go out left to right from the X point
var yLength = 100 //How far it will go out up and down from the Y point
var iScale = 30 // Adjust this will set how small it appears in the background.
You can use bigger icons, but use less of them. If you want to have all 12 icons then keep them a sensible size (eg size shown in sample).
The labels shown under the spinning icons is grabbed from the label you define on the icon.