He's pretty much right about the repeal process though.
No such thing as a ‘constitutional’ filibuster. It wasn’t written in the Constitution other than in the penumbra of ‘the senate makes its own rules.’ They didn’t make it up until well in the 1800s and then it was used mainly, by Democrats, to protect slavery. What we recall as the ‘traditional’ filibuster was the marathon talkathons in the style of Jimmy Stewart. Where you could eventually wear down the minority. That was ended c. 1970 by Rat Senate under Mike Mansfield who replaced it with the current, painless to the minority, procedural filibuster. I’d nuke it back to the pre-Mansfield traditional filibuster. If we ever get rid of the 17th I’d consider nuking the rest of it.