Tip of the day, gleaned from this mornings personal experience.
If the scroll wheel on your mouse suddenly ceases to scroll, do not panic and do not dash out to buy new mouse.
Just make sure that mouse is not full of crumbs from your chocolate digestive biscuit...... !