Plenty of posts on here with people upgrading the 6400 to a 7900 with an OE kit, or the Baileys 54mm bore kit.
BTW, the carby is the same from the 6400 through the 7300 to the 7900. Even jetting remains pretty close to identical, as the more air that is pulled through the venturi draws more fuel.