I figured so, as well, but I prefer checking before with those who could know better than me.
An odd turn of events followed.
I read your post, tried, and 3.19 patch setup, once I start it, wants to remove the game.
OTOH, 3.17 patch initializes and offers to install.
Very weird.