Ah, I see, it's completed. Well done. I sneeked this photo when you were out!

Are you intending to basically keep it as a garage or turn it into an extra room?

What does the K70 extended warranty cover? How many reports of K70's failing have you heard about? (Can't say I've heard of any here.) A K3 is just as likely to fail. Which do you prefer, the lighter K70 or the more 'pro' K3?
I've got a K-3 and a K-1 but often just take out a K-S1 as it's more portable and if don't anticipate using the extra features offered on the higher end cameras.
What you're asking for is for someone else make a personal decision for you. You really have to weigh up the pros and cons yourself. I'd think twice about the extended warranty, it should be covered under consumer legislation (as should your K-50.)
Have you considered buying second hand?

Welcome to the forum. There's some on eBay, even genuine ones.

Those DIY photo booths on station platforms aren't anywhere near as large a that!

It still works just fine!

An interesting bit of Pentax history there. That it works well is a bonus.

Not opinion, but fact, optically the 43mm Ltd and the A50mm f1.7 have pretty close resolution figures with the 43mm being just slightly sharper (hardly any difference really.) The 43mm is closest a normal focal length and is a fully auto lens so auto focus works whereas with the A lens you'd have to focus it yourself.
The 43mm would likely cost quite a bit more than the 50 A lens but I'm sure you'd be happy with either. Why not consider a F or FA 50mm ? However given they're different focal lengths deciding which to get may depend on your other lenses.. If you have a 35mm, it might seem to make more sense to go for the 50mm, If you haven't any, the 43mm may well cover all three.
Construction wise they are in a different league, the 43mm being a metal bodies enthusiasts' lens, the A 50mm 1.7 being the cheap plasticy kit lens.
I appreciate I haven't given an opinion so I will. I feel the 43mm has that extra bit of something! The A 50mm f1.7 lenses are usually pretty cheap to get hold of so why not try both.
Having re-read the thread title and your query, just to point out that the thread relates to the A 50mm f1.2 as opposed to your query regarding the f1.7. An A 50mm f1.2 will cost quite a bit more than a f1.7 version!

There's a bit more about how it works here:
http://www.peachpit.com/articles/article.aspx?p=1725271

I believe the full Photoshop allows setting ICC profiles within the program. It is also possible to set it via Wndows control panel/display settings.
When there go to Adjust Resolution, then advanced settings,
Next Color Management, once there the device could be changed to another profile.
You can get there without accidentally changing something! As to whether its worth trying to change it, I've no idea!
Perhaps someone who used to work on the paper version of PU can offer advice on that as they may have had to use profiles for printing it.

In Elements, when you go to print, select the more options option and the colour management feature is there.