It's never been true since about XP that cleaning the registry helps. In fact it creates troubles.
I think you should make your choices and live with the results but after trying it both ways on the HP in question I can't find any change in performance one way or another.
There are some users that can't stand any extra file, folder or registry entry on the system. And for fun I may introduce them to the Windows Protected Storage to see how they respond to that!