Has anyone actually ever successfully ripped a CD with VLC? IIRC every time I looked into it it didn't seem to work and all the online questions ended up in "I used this other thing instead."