Fix strange capitalization on tip 419.
Tipfiles 421-425.
Adding story files from Paul.