Update: So, the dealer phoned me back. They made a mistake. It turns out it is an AGM battery, not an EFB. But, it still is outrageously expensive. Not only for the price, but the warranty is for only 1 year! I raised that point, and he said he was still digging into it, as it does seem low. An Interstate battery with a one year warranty!
In the meantime, I found what appears to be a wonderful battery with great CCA, and slightly improved AH over my existing OEM EFB battery( I have start stop). Motormaster is the brand. It is a battery from a large retail chain here in Canada. It comes with a 5 year warranty. And, it is about a hundred bucks cheaper than the dealership. The only problem is they won't install it because of the coding issue.
At that point I went to an independent, and they will not install it. They will only install their own which is an Excide EFB with a 3 year warranty. The independent has a good reputation, as best as I could determine. I went with them. The battery is inexpensive, as is the installation charge. I never did go back to the dealership to see whether they would install the AGM Motormaster, as they have a two week waiting period to get an appointment, and no doubt the installation charge would have been way more expensive. And, sounds like the AGM is an overkill, as I have the start stop function and just the original EFB which runs fine.