Stay with the same brand of appliances, you will not find anything better on the market. I selected the IK3610 as a replacement.
As for prices a visit to your local retailer or kitchen specialist who can offer a full service inc installation if you want peace of mind that is 😉