hi all. so i am looking at getting an aio printer and narrowed it down to the hp c7280, as it seems to fit the bill best. what i am wondering is whether the hp c7260 at costco is actually the 7280, but just carrying a different model number for costco for some reason. it seems like so, given that no one else carries that printer, except costco, and they have the same specs as far as i can tell. any ideas here? thanks.