Unfortunately that's the case. I looked around forever for the original theme but the only option was to copy over the original stock manila files. Since I only had my phone for 2 weeks I had no problem hard resetting first.
Good luck on your search.
