Not sure how you plan on boring a 10" deep hole with a 6" deep bit.
Your going to need the 12" deep one and run water on it while boring.
That Bocsh is a Hammer Drill, you do not use a hammer drill when using a diamnd core bit it will smash the diamonds right off the bit. you use a core drill. It's a slow speed high torque drill. Far cheaper to rent one with the bit from Home Depot. You could just buy any smaller hammer drill that uses reguler round shank bits for what little you need to insert a few Tap Cons now and then and still be able to use it as a reguler power drill for something else.
Each of those SDS bits cost about $20.00 each and will only last one job. Round shank bits are about $3.00.