I'm not modding, I'm improving
I would be more tempted to go with Auto Glym Tar and Glue Remover, John (and this is more of a question, than a statement!)?
I am Tardis' number one fan for external use, but internally, where you have leather, suede and plastics on show, I would be more inclined to use a less agressive chemical? I know it won't be as effective, but I would worry about suggesting Tardis and for the user to (God forbid) have an issue with drips/spills (no offense Joe!!).