Help identifying carburetors

Hello 👋

My elderly neighbour has given me a triple set of carburetors and said if I can clean them up, I can sell them. He can’t remember which car they came off. I’m based in the U.K.

I’ve gone some research and I’ve reached a point where I think they’re 2-inch SU HS8 carbs. I have measured the bore which is 2 inches. There is a stamp of AUC 825 which leads me to believe they might be from a Jaguar.

I have cleaned them up a bit and have confirmed the pistons move on all carbs.

Would anyone be able to help with the identification and value please?