A used HK45 plus $700 sure why not? You already have your Spikes anyway. So, it's not like your kids will never get to play w/ AR- if they really want more then go Army
Personally, I like to diversify. That extra $700 can get you another AK like AMD65.